all:
	touch extraction.ma
	EXTRACT_HASKELL=1 ../matitac extraction.ma 2> /tmp/foo.hs
	cat preamble.hs /tmp/foo.hs > extraction.hs

.PHONY: all

# ghci extraction.hs
# Syntax for datatypes: data Foo = Zero | Succ Foo Foo
